Unravelings and Ultra-properties
نویسنده
چکیده
Conditional rewriting is universally recognized as being much more complicated than unconditional rewriting In this paper we study how much of conditional rewriting can be automatically inferred from the simpler theory of unconditional rewriting We introduce a new tool called unraveling to automatically translate a conditional term rewriting system CTRS into a term rewriting system TRS An unraveling enables to infer properties of a CTRS by studying the corresponding ultra property on the corresponding TRS We show how to rediscover properties like decreasingness and to give easy proofs of some existing results on CTRSs Moreover we show how unravelings provide a valuable tool to study modularity of CTRSs automatically giving a multitude of new results
منابع مشابه
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Unravelings are transformations from conditional term rewriting systems(CTRSs) into unconditional term rewriting systems (TRSs) over extended signatures.They are complete, but in general, not sound w.r.t. reduction. Here, soundness w.r.t. reduction for a CTRS means that for every term over the original signature of the CTRS,if the corresponding unraveled TRS reduces the term to a te...
متن کاملSoundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over the extended signature. They are not always sound for every CTRS w.r.t. the reduction, while they are complete. Here, soundness w.r.t. the reduction means that every reduction sequence of the corresponding unrave...
متن کاملTransformation for Refining Unraveled Conditional Term Rewriting Systems
Unravelings, which transform conditional term rewriting systems (CTRSs) into unconditional term rewriting systems, are useful for analyzing properties of CTRSs. To compute reduction sequences of CTRSs, the restriction by a particular context-sensitive and membership condition is imposed on reductions of the unraveled CTRSs. The condition is determined by extra function symbols introduced due to...
متن کاملNotes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
Transforming conditional term rewrite systems (CTRSs) into unconditional systems (TRSs) is a common approach to analyze properties of CTRSs via the simpler framework of unconditional rewriting. In the past many different transformations have been introduced for this purpose. One class of transformations, so-called unravelings, have been analyzed extensively in the past. In this paper we provide...
متن کاملStructural, Optical and Ultra-Violet Photodetection Properties of ZnO Nanorods with Various Aspect Ratios
ZnO nanorods with various lengths were synthesized by a two-stage route (by changing the time of growth between 0-240 min) and were characterized using XRD, SEM, UV–Vis and PL techniques. The SEM and XRD results confirmed a fast growth of (0 0 2) plane in the preferential longitudinal orientation, in contrast to lateral growth and therefore, by increasing the time of hydrothermal growth, nanoro...
متن کامل